Using symbolic execution to guide test generation

1Department of Computer Science and Software Engineering, The University of Western Australia, Crawley, WA 6009, Australia 2Department of Electrical Engineering, The University of Auckland, Private Bag 92019, Auckland, New Zealand 3Department of Electrical and Electronics Engineering, Chung-Ang University, Huksuk-dong 221, Dongjak-gu, Seoul 156-756, South Korea 4Division of Science and Engineering, Murdoch University, South Street, Murdoch, WA 6150, Australia 5Department of Electrical and Electronic Engineering, The University of Western Australia, Crawley, WA 6009, Australia 6School of Computer and Information Science, Edith Cowan University, Joondalup, WA 6027, Australia